• आकारबद्ध प्रारंभिक तर्कशास्त्रformalized: औपचारिक रूप देनाelementary: पहला प्राथमिकlogic: तर्क शास्त्र
